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