#include <bits/stdc++.h>
using namespace std;
const int Maxn = 1e5 + 10;
const int Mod = 1e9 + 7;
int main(void) {
  int n, k, ans = 0;
  cin >> n >> k;
  ans += 8 * n % k == 0 ? 8 * n / k : 8 * n / k + 1;
  ans += 5 * n % k == 0 ? 5 * n / k : 5 * n / k + 1;
  ans += 2 * n % k == 0 ? 2 * n / k : 2 * n / k + 1;
  cout << ans << endl;
  return 0;
}
