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