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