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