In reply to Have_A_Doubt:
If the $display statement equations reflect your expectations, those two expressions need to be in your constraints. If you display your current constraint expression, you will see it is meeting your constraint. (note that !item is going to be 0 or 1 for any zero or non-zero value of item)