TSTP Solution File: NUM859_1 by Refute---2015