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