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