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