raceCar

Một xe đua có các đặc điểm sau:

• Khi xe chạy bình thường và không có năng lượng thì xe chạy với vận tốc 1m/giây.
• Khi xe chạy bình thường mà vẫn có năng lượng xe chạy với vận tốc 2m/giây.
• Khi tiêu tốn 1 điểm năng lượng thì xe lập tức tốc biến được một quãng 5m và chỉ mất 1 giây.

Hải có một chiếc xe đua như vậy, lúc đầu xe Hải có k điểm năng lượng, Hãy tìm và in ra thời gian (số giây) để Hải chạy được quãng đường s.
(chú ý thời gian được làm tròn, ví dụ Hải đi tới s với 1.5 giây thì sẽ được tính là 2 giây).

Ví dụ:

• Với s = 15, k=3, thì raceCar(s,k)=3.
  Giải thích: Hải lập tức dùng hết 3 điểm năng lượng để đi được 15m chỉ trong 3 giây.
• Với s = 13, k=2, thì raceCar(s,k)=4.
  Có nhiều các Hải đi hết đoạn đường s, nhưng 1 trong những cách đi nhanh nhất là:
  • 2m đầu tiên Hải di chuyển bình thường, do năng lương vẫn còn nên Hải di chuyển được 2m trong 1 giây.
  • 10m tiếp theo Hải dùng hết 2 điểm năng lượng để di tăng tốc được 10m trong 2 giây.
  • 1m cuối Hải di chuyển bình thường, do năng lương đã hết nên Hải di chuyển được 1m trong 1 giây.

Đầu vào/Đầu ra:

• [Thời gian chạy] 0.1s với C++, 0.6s với Java và C#, 0.8s với Python, Go và JavaScript

• [Đầu vào] Integer s
  0 ≤ x ≤ 109.
• [Đầu vào] Integer k
  0 ≤ y ≤ 109.
• [Đầu ra] Integer
  Số giây ít nhất để Hải đi được quãng được quãng đường s.