TSTP Solution File: LCL604^1 by SRASS---0.1