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