TSTP Solution File: LCL456^7 by SRASS---0.1