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