solve(QFRAT) = Keine reelle Lösung möglich!