#abc0133. [abc013_3]節制

[abc013_3]節制

問題文

セキュリティ意識が高く、最新鋭の錠を購入した高橋君ですが、財布の管理は甘かったらしくお金がピンチな状況です。

高橋君の収入は安定せず、次の収入があるのは今から NN 日後です。高橋君は NN 日間、できるだけ食費を抑えて節約生活を送ることにしました。

はじめ、高橋君の満腹度は HH です。NN 日間のそれぞれの日について、その日にとる食事を次の 33 種類の中から 11 つ選びます。

  • 普通の食事: AA 円の出費をして、満腹度が BB 増える。
  • 質素な食事: CC 円の出費をして、満腹度が DD 増える。(ただし、C<AC < A かつ D<BD < B
  • 食事抜き: 出費なしで、満腹度が EE 減る。

厳しく節約すれば出費を抑えることができますが、あまりに節約しすぎて体調を崩してしまってはいけないため、NN 日間で一度も満腹度が 00 以下にならないようにしなければなりません。

高橋君は最低何円の食費で NN 日間を乗り切ることができるでしょうか?

ただし、高橋君は超人級の胃袋を持っており、その満腹度には上限がないとする。すなわち、いくら食事をしても高橋君の満腹度が頭打ちになることはない。


入力

入力は以下の形式で標準入力から与えられる。

NN HH AA BB CC DD EE

  • 11 行目には、節約生活の日数を表す整数 NN (1,,N,,5times1051\\,≦\\,N\\,≦\\,5 \\times 10^5) と、節約生活を始める前の高橋君の満腹度を表す整数 HH (1,,H,,1091\\,≦\\,H\\,≦\\,10^9) が空白区切りで与えられる。
  • 22 行目には、33 種類の食事に関する情報を表す整数 AA, BB, CC, DD, EE がこの順に空白区切りで与えられる。
    • 出費について、1,,C<A,,1061\\,≦\\,C < A\\,≦\\,10^6 が成り立つ。
    • 満腹度の増減について、1,,D<B,,1061\\,≦\\,D < B\\,≦\\,10^6 および 1,,E,,1061\\,≦\\,E\\,≦\\,10^6 が成り立つ。

部分点

この問題には部分点が設定されている。

  • N,,10N\\,≦\\,10 を満たすテストケース全てに正解すると、部分点として 1010 点が与えられる。
  • N,,50N\\,≦\\,50, H,,50H\\,≦\\,50, B,,50B\\,≦\\,50, D,,50D\\,≦\\,50 を満たすテストケースすべてに正解すると、部分点として 3030 点が与えられる。(N,,10N\\,≦\\,10 を満たすテストケース全てにも正解していた場合は合計で 4040 点となる)
  • N,,1,000N\\,≦\\,1,000 を満たすテストケース全てに正解すると、100100 点が与えられる。
  • 全てのテストケースに正解すると、ボーナス点として追加で 11 点が与えられる。

ボーナス点に対応するテストケースに関しては、答えが 3232 ビットの整数型に収まらない可能性があることに注意せよ。

出力

高橋君が満腹度を一度も 00 以下にせずに NN 日間の節約生活を乗り切るために必要な食費の最小値が何円かを 11 行に出力せよ。

出力の末尾には改行をいれること。


入力例1


4 5
100 4 60 1 4

出力例1


160

たとえば、44 日間の食事を以下のようにすれば 160160 円の出費で済ませることができます。

  • 節約生活を始める前、高橋君の満腹度は 55 である。
  • 11 日目には質素な食事をとる。6060 円を出費して、満腹度が 11 増えて 66 になる。
  • 22 日目は食事を抜く。出費はなく、満腹度は 44 減って 22 になる。
  • 33 日目には普通の食事をとる。100100 円を出費して、満腹度が 44 増えて 66 になる。
  • 44 日目は食事を抜く。出費はなく、満腹度は 44 減って 22 になる。

入力例2


10 1
5000 2 2000 1 300

出力例2


20000

この例では、高橋君は 11 日食事を抜くと満腹度が 300300 も減ってしまうので、毎日食事をとる必要があります。

質素な食事を 1010 日間とり続けることで 2,000times10=20,0002,000 \\times 10 = 20,000 円の出費となり、これが最小の出費になります。


入力例3


9 23
170 8 120 5 12

出力例3


650

入力例4


653 314159
6728 123456 5141 41928 222222

出力例4


2818162

この例は N,,10N\\,≦\\,10 という 1010 点の部分点の制約および N,,50N\\,≦\\,50, H,,50H\\,≦\\,50, B,,50B\\,≦\\,50, D,,50D\\,≦\\,50 という 3030 点の部分点の制約を満たしていないことに注意せよ。