TSTP Solution File: LCL454+1 by CARINE---0.734