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