testcase_12


入力

出力