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