TSTP Solution File: NUM390+1 by Nitpick---2016