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