#include<cstdio> int main(){ int a,b,c; scanf("%d%d%d",&a,&b,&c); printf("%0.2f",(a+b+c)/3); return 0; }