TSTP Solution File: SET017^1 by SInE---0.4