TSTP Solution File: SWW493_5 by Nitpick---2016