TSTP Solution File: NUM873_1 by Nitpick---2016