TSTP Solution File: LCL651+1.001 by CARINE---0.734