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