#include<bits/stdc++.h>
using namespace std;
int main(){
    int c,w,ans;
    cin>>c>>w;
    ans=(c+w-2)/11; //12-1=11
    if(ans>w){
        ans=w;
    }
    if(ans<0) ans=0;
    cout<<ans<<'\n';
}