#include<stdio.h>

void run(void){
  int m,n;
  scanf("%d%d",&m,&n);
  double t=m+(double)n/3;
  printf("%.8lf\n",t);
  return;
}

int main(void){
  run();
  return 0;
}