TSTP Solution File: GRP598-1 by Nitpick---2016