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