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