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