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