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