TSTP Solution File: SWW617_2 by Nitpick---2016