#include <bits/stdc++.h>
using namespace std;
long long n, k;
int main() {
  cin >> n >> k;
  long long r = 2 * n, g = 5 * n, b = 8 * n;
  long long ans = 0;
  if (r % k == 0)
    ans = ans + r / k;
  else
    ans = ans + r / k + 1;
  if (g % k == 0)
    ans = ans + g / k;
  else
    ans = ans + g / k + 1;
  if (b % k == 0)
    ans = ans + b / k;
  else
    ans = ans + b / k + 1;
  cout << ans << endl;
}
