TSTP Solution File: NUM612+3 by Nitpick---2016