#include <stdio.h> int main(){ int a,b,c; scanf("%d%d%d",&a,&b,&c); float n; n = (a + b + c) / 3.00; printf("%.2f",n); return 0; }