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