TSTP Solution File: SET617^5 by SInE---0.4