dual decomposition works, but it converges to 0 or 1. Huh?
dual