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