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