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