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