TSTP Solution File: SWW904+1 by Nitpick---2016