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