TSTP Solution File: GRP629+3 by Refute---2015