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