TSTP Solution File: SWW471+3 by Mace4---1109a