solve_univariate_inequality shouldn't assume solve output is sorted

    closes #2785
Merge pull request #2786 from skirpichev/gh2785

solve_univariate_inequality shouldn't assume solve output is sorted