TSTP Solution File: LCL570+1 by Gandalf---c-2.6