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