(y=17-x)&((x-2/3)*(y-2/3)=442/9)