a,b;main(c){a=scanf("%d%d%d",&a,&b,&c)<printf("%d",a=1+abs(a)+abs(b)+c*1.4142);}