#include <stdio.h>
int main(void){
    
    double m,n;
    scanf("%lf %lf",&m,&n);
    
    printf("%lf",m+n/3.0);
    
}