TSTP Solution File: LCL467+1 by Refute---2015