Update problem_id_12.txt