x+y = 5