branching and bound works