TSTP Solution File: GRP782^1 by Mace4---1109a