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