TSTP Solution File: NUM925^4 by Refute---2015