TSTP Solution File: NUM676^4 by Nitpick---2016