TSTP Solution File: NUM284-1.014 by Refute---2015