TSTP Solution File: SWW642_2 by Nitpick---2016