TSTP Solution File: NUM837+2 by Nitpick---2016