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