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