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