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