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