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