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