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