TSTP Solution File: GRP558-1 by Mace4---1109a