#include <bits/stdc++.h>
 
using namespace std;

int main(void)
{
    cin.tie(0);
    ios::sync_with_stdio(false);

    int m,n;

    cin >> m >> n;

    double res = m + (n/3.0);

    cout << fixed;
    cout.precision(16);

    cout << res << '\n';
    
    return 0;
}