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