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