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