TSTP Solution File: LCL624^1 by CARINE---0.734