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