added disequality constraints