TSTP Solution File: GRP001^5 by Nitpick---2016