TSTP Solution File: SWV360-1 by Refute---2015