TSTP Solution File: NUM956_5 by Refute---2015