TSTP Solution File: SWV374+1 by Refute---2015