x+y=3from 0 <= x <= 3 and 0<=y<=3