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