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