TSTP Solution File: LCL703^1 by SInE---0.4