TSTP Solution File: NUM659_8 by Nitpick---2016