TSTP Solution File: SWV381+4 by Mace4---1109a