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