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