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