Exact_solver_test semplified.