Fixed get_exact_solution()