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