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