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