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