TSTP Solution File: NUM683+4 by Nitpick---2016