TSTP Solution File: NUM549+1 by Nitpick---2016