#include<bits/stdc++.h> using namespace std; int main (){ int a,b,c; scanf("%d%d%d",&a,&b,&c); double s1=(a+b+c) /3.0; printf("%.4lf",s1); return 0; }