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