0023031: Empty result for the extrema between a circle and a line.