x+y\leq 1