buxfix dualdecomposition