TSTP Solution File: SWW479_5 by Nitpick---2016