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