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