TSTP Solution File: NUM939_5 by Nitpick---2016