#include <bits/stdc++.h>
using namespace std;
long long int INF = 1e18 + 5;
long long int power(long long int a, long long int n) {
  long long int res = 1;
  if (n & 1) {
    n--;
    res *= a;
  } else {
    n /= 2;
    a = a * a;
  }
  return res;
}
long long int gcd(long long int a, long long int b) {
  if (b == 0) return a;
  return gcd(b, a % b);
}
void solve() {
  long long int n, k;
  cin >> n >> k;
  long long int a = n * 2;
  long long int b = n * 5;
  long long int c = n * 8;
  long long int ans = (a / k) + (b / k) + (c / k);
  if (a % k) ans++;
  if (b % k) ans++;
  if (c % k) ans++;
  cout << ans << "\n";
  return;
}
int32_t main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  long long int T = 1;
  for (long long int i = 1; i <= T; i++) solve();
}
