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