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