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