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