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