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