TSTP Solution File: GRP666+1 by Nitpick---2016