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