#include<bits/stdc++.h>
using namespace std;

typedef long long int           ll;
typedef unsigned long long int  ull;
typedef vector<int>             vi;
typedef vector<ll>              vll;
typedef vector<vi>              vvi;
typedef pair<int,int>           pii;
typedef vector< pii >           vpii;
typedef set<int>                sti;

#define pb                      push_back
#define pob                     pop_back
#define mp                      make_pair
#define ff                      first
#define ss                      second
#define loop1(i,n)              for(int i=1; i<=int(n); i++)
#define loop(i,y)               for(int i=0; i<int(y); i++)
#define rloop(i,y)              for(int i=int(y); i>0; i--)
#define rloop1(i,y)             for(int i=int(y)-1; i>=0; i--)
#define read()                  freopen("input.txt", "r", stdin)
#define write()                 freopen("output.txt", "w", stdout)
#define cspf(i)                 printf("Case %d: ", i)
#define all(v)                  v.begin(),v.end()
/// Constants
#define eps                     1e-9
#define PI                      acos(-1.0)  // 3.1415926535897932

int main()
{
    ll n,k,r,g,b,sm;
    cin>>n>>k;
    r=n*2;
    r=ceil((double)r/k);
    g=n*5;
    g=ceil((double)g/k);
    b=n*8;
    b=ceil((double)b/k);
    sm=r+g+b;
    cout<<sm<<endl;
    return 0;
}