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