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