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