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