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