TSTP Solution File: GRP667-3 by Nitpick---2016