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