Branch and bound version