x+ y/2 <= 1 and x >= 0 and y >= 0