#include <bits/stdc++.h>
using namespace std;
int const N = 1e5 + 5;
int n, k;
int get(int x) { return (x - 1) / k + 1; }
int main() {
  cin >> n >> k;
  int ans = get(n * 8) + get(n * 5) + get(n * 2);
  cout << ans << endl;
}
