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