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