TSTP Solution File: GRP647+1 by Refute---2015