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