-1*Ea -1*Ma + 1 >= 0 -1*Eb -1*Mb + 1 >= 0 1*Mb >= 0 1*Eb >= 0 1*Sb >= 0 1*Ma >= 0 1*Ea >= 0 1*Sa >= 0 1*I >= 0 1*I +1*Sa +1*Ea +1*Ma +1*Sb +1*Eb +1*Mb -1 >= 0