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