TSTP Solution File: LCL240-1 by SInE---0.4