TSTP Solution File: SWW797_1 by Nitpick---2016