TSTP Solution File: LCL182-3 by SRASS---0.1