Solver – Ideal Real