TSTP Solution File: SWW707_1 by Nitpick---2016