TSTP Solution File: NUM701^1 by Refute---2015