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