TSTP Solution File: SWW586_2 by Nitpick---2016