TSTP Solution File: NUM603+3 by Refute---2015