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