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