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