TSTP Solution File: LCL604^1 by SInE---0.4