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