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