TSTP Solution File: NUM439+6 by Nitpick---2016