Update problem_id_13.txt