TSTP Solution File: NUM284-1.014 by Nitpick---2016