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