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