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