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