testcase_23


入力

出力