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