TSTP Solution File: LCL692^1 by SRASS---0.1