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