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