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