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