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