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