TSTP Solution File: NUM478+1 by Refute---2015