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