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