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