TSTP Solution File: SWW723_1 by Nitpick---2016