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