#include <bits/stdc++.h>
using namespace std;
typedef long double ld;
const long double PI =
    3.141592653589793238462643383279502884197169399375105820974944;
inline void io() {}
const long long mod = 1e9 + 7;
const long long INF = 1e18;
const long long maxn = 2e5 + 5;
void solve() {
  long long a, k;
  cin >> a >> k;
  long long ans = ceil(1.0 * (a * 2) / k) + ceil(1.0 * (a * 5) / k) +
                  ceil(1.0 * (a * 8) / k);
  cout << ans;
}
signed main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout << setprecision(12);
  long long tc = 1;
  while (tc--) {
    solve();
    cout << '\n';
  }
  return 0;
}
