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