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