#include <stdio.h>

int main() {
	int a,b,c;
	scanf("%d %d %d",&a,&b,&c);
	
	float output = (a+b+c)/3.0;
	
	printf("%.3f",output);
	
	return 0;
}