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