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