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