#include<cstdio>
int main() {
  int a,b,c;
  scanf("%d%d%d",&a,&b,&c);
  printf("%.6f",(a+b+c)/3.0);
}