Coincido con el cambio que propone Tadeo. Con la ecuación I1+I2+I3+I>=4 estás forzando a que todas las variables binarias se prendan, ya que para cumplir la inecuación todas tienen que valer 1.