TSTP Solution File: GRP638+2 by Refute---2015