x + y = 3