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