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