testcase_15


入力

出力