#36225: ANS for C lang.
#include<stdio.h>
int main(void){
long long int c;
long long int w;
scanf("%lld %lld", &c,&w);
printf("%lld",(c+w-2)/11);
}
#include<stdio.h>
int main(void){
long long int c;
long long int w;
scanf("%lld %lld", &c,&w);
printf("%lld",(c+w-2)/11);
}