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