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