wip on branch and bound