TSTP Solution File: SWW473+2 by Nitpick---2016