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