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