TSTP Solution File: NUM902_1 by Nitpick---2016