TSTP Solution File: SWW325+1 by Refute---2015