TSTP Solution File: LCL251-1 by SRASS---0.1