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