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