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