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