TSTP Solution File: SWW476_3 by Nitpick---2016