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