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