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