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