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