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