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