Branch and bound solution tentatively implemented but untested.