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