Solving quadratic inequalities (#13)