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