{Det([[1,0.9,a],[0.9,1,0.8],[a,0.8,1]])} >= 0