TSTP Solution File: NUM918_1 by Refute---2015