-1*b1 +1*s +1*d + 10 >= 0 -1*d + 11 >= 0 1*d >= 0 1*s >= 0 1*b1 -1*s + 11 >= 0 1*b1 >= 0