#include<iostream>
#include<algorithm>
using namespace std;
int main(void){
  int n[3];
  int res = 0;
  cin>>n[0]>>n[1]>>n[2];
  sort( n, n+3 );
  res += n[0];
  for(int i=2;i>=0;i--)n[i]-=n[0];
  while(1){
    if( n[1]>0 && n[2]>2 ){
      res++;
      n[1]--;
      n[2]-=3;
    }else if( n[2]>4 ){
      res++;
      n[2]-=5;
    }else{
      break;
    }
    sort(n+1,n+3);
  }
  cout<< res<<endl;
  return 0;
}