TSTP Solution File: LCL670+1.015 by DCTP---1.31