TSTP Solution File: NUM920_1 by Nitpick---2016