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