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