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