documented print_solution