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