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