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