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