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