#include <bits/stdc++.h>
using namespace std;
int main() {
  double n, k;
  cin >> n >> k;
  cout << (long long)(ceil((n * 2) / k) + ceil((n * 5) / k) +
                      ceil((n * 8) / k));
  return 0;
}
