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