Added symmetry-breaking constraints.