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