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