Update problem_solving.asciidoc