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