TSTP Solution File: GRP654+2 by Nitpick---2016