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