#include <stdio.h>

int main() {
int m, n;
scanf("%d%d", &m, &n);
printf("%.14f\n", m + n / 3.0);
return 0;
}