TSTP Solution File: SWV935-1 by Mace4---1109a