[x>=0] and [y>=0] and [y<= (1/3)x + 3] and [5>= y + x]