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