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