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