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