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