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