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