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