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