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