TSTP Solution File: GRP772-1 by Nitpick---2016