we concluded it could only be one of two things, and we really wound up wishing we had a little birdie that could tell us whether or not the rightmost vertex v.sub.n was in the optimal solution or not.