removed -1 in symmetry breaking constraint