TSTP Solution File: SWW871+1 by Mace4---1109a