lecture13: branch and bound (cont)