TSTP Solution File: GRP167-2 by Nitpick---2016