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