fixed branch and bound