#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, k;
  long long ans = 0;
  scanf("%d %d", &n, &k);
  if (2 * n % k != 0)
    ans += 2 * n / k + 1;
  else
    ans += 2 * n / k;
  if (5 * n % k != 0)
    ans += 5 * n / k + 1;
  else
    ans += 5 * n / k;
  if (8 * n % k != 0)
    ans += 8 * n / k + 1;
  else
    ans += 8 * n / k;
  printf("%lld", ans);
}
