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