TSTP Solution File: LCL328-3 by SInE---0.4