exact_solver tests are in a good shape now .... still a few things to do ...