TSTP Solution File: NUM897_1 by Nitpick---2016