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