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