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