main(a,b){scanf("%d%d",&a,&b);printf("%.9f",a+b/3.);}