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