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