[solver] Solve inequation of type a*sqrt(B)-c*sqrt(D)>0.