TSTP Solution File: LCL882+1 by DCTP---1.31