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