TSTP Solution File: NUM924+8 by Nitpick---2016