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