TSTP Solution File: NUM886_1 by Nitpick---2016