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