Let α and β be the real numbers and z be a complex number. If x2+αz+β=0 has two distinct non-real roots with Re(x)=1, then it is necessary that