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