2-testcase15.txt


入力

出力