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