TSTP Solution File: GRP634+2 by Refute---2015