タイトル説明
CCコングコングと同じテーブルには良好な関係で、1日、シシーは、食べて良いことがあり、同様に、空の綿菓子の雲のように感じるが、手の届かないところに、彼女は非常に怒っていました。
彼らの問題Ccのコングコングを解決するために、我々は、彼女が食べることのために綿菓子を作るために空に雲が彼を助けることにしました。
しかし、コングコング手の届きません。そこで彼は、買った\（N \）を彼は空と白い雲を選ぶ手助けするAI3403スーパーロボット番目。
これらのロボットが一緒にピラミッドの方法を取ることができ、スタックの高さは、私たちの一つは、最高高さは雲の高さに達したことを、彼らは補うために綿菓子の雲を選ぶことができれば、これらのロボットの高さであると。
しかし、一つ問題がある。これらのロボットは同じモデルですが、が、彼らはので、各ロボットに異なる高さを設計したロボットのデザインの多様性を示すために博士リンリンを行い、最初の\（I \）ロボットは上昇になるように設計された\（H_I \） 。
明らかに、ローハンにおけるロボットのより多くの数は、より多くの不安定な海を折ら。コングコング雲の対象は、可能な限り小型ロボットの数にローハンを可能にするために、そう望みます。あなたはコングコングロボットのに必要な最小数を計算する助けてください。
入力形式
最初の行は、2つの正の入力含ま\（N（1 \ルN \ル10000）\） と\（B（1ルB \ 10ル\ ^ 9）\） 、それぞれ、ロボットの後ためCongcongを雲の数と高さ。
次の\（\ N-）の線は、整数含有（LEハイ\ 10ル\ H_I（1 ^ 5）\）\ i番目のロボットの高さを示すために、。
出力フォーマット
出力は、マシンの数を表す整数は、ヒト白い雲の最小ことができるように、すべてのロボットは、雲が一緒に積層された出力に達した場合に「-1」。