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