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