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