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