TSTP Solution File: LCL259-3 by Refute---2015