Exact solver tests are under refactoring ....
Everything works ...