#include<bits/stdc++.h>
using namespace std;
int main()
{
    int a, b, c;
    cin>>a>>b>>c;
    double d;
    d=(a+b+c)/3.0;//3.0自带强制转换格式功能
    printf("%.6lf",d);
    return 0;
}