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