TSTP Solution File: GRP639+3 by Mace4---1109a