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