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