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