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