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