TSTP Solution File: SET917+1 by Gandalf---c-2.6