TSTP Solution File: SWW898+1 by Nitpick---2016