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