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