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