a,b;main(c){scanf("%d%d%d",&a,&b,&c);a=!printf("%d",1+abs(a)+abs(b)+c*(int)sqrt(2));}