TSTP Solution File: GRP651+4 by Refute---2015