TSTP Solution File: GRP347-1 by Refute---2015