TSTP Solution File: SWW656_2 by Mace4---1109a