#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);}