TSTP Solution File: NUM439+6 by Refute---2015