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