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