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