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