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