TSTP Solution File: LCL026-10 by SInE---0.4