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