TSTP Solution File: NUM069-1 by Nitpick---2016