TSTP Solution File: NUM976_5 by Nitpick---2016