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