TSTP Solution File: SWW609_2 by Nitpick---2016