TSTP Solution File: GRP748-2 by Mace4---1109a