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