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