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