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