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