exact_solver done