Correct branch and bound