TSTP Solution File: LCL657+1.010 by DCTP---1.31