(x*y=0)&(y=2*(2+√3)-(2/√3)*x)