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