Когда Вы добавляете новые переменные (х4, х5) - неравенства превращаются в равенства (Вы ж их собственно для этого и добавляете).