x+y+(9-x-y)
x>=y