Rational certification results:

Number of points tested:                2
Certified approximate solutions:        2
Certified distinct solutions:           2
Certified real distinct solutions:      2