TSTP Solution File: NUM461+2 by Nitpick---2016