//#define dxx
#ifdef dxx
#define dbg(...) fprintf(stderr,__VA_ARGS__)
#define dex(a) dbg(#a"=%lld onL%d infun %s\n",a,__LINE__,__FUNCTION__)
#include<cstdlib>
#define pause sys##tem("pause")
#define _GLIBCXX_DEBUG
#endif

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cstdlib>
#include<vector>

using ll=long long;
using std::max;
using std::min;
using std::abs;
template<class T> void cmax(T&a,T b){a=max(a,b);}
template<class T> void cmin(T&a,T b){a=min(a,b);}
template<class T> T sqr(T a){return a*a;}

namespace xm{
    void _(){
        int N,M;

        scanf("%d%d",&N,&M);
        for(int i=1;i<=N&&i<=M;++i){
            if(N-i*6+M<=i){
                printf("%d\n",i*2-1);
                break;
            }
        }
    }
}

int main(){
    xm::_();
    return 0;
}