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