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