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