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