{[k1,k2,k3] :
15+k1+2k2+3k3 = 0
 && k2+k3 <= 0
 && 0 <= 5+k2+k3
 && k3 <= 0
 && 0 <= 5+k3
 && k1+k2+k3 <= 0
 && 0 <= 5+k1+k2+k3
};


{[x] : exists (a,b : 0 <= x+4a <= 2 && 0 <= x+8b <= 6)};