#include <iostream>
#include <vector>
#include <string>
#include <cstring>
#include <algorithm>
#include <sstream>
#include <map>
#include <set>
using namespace std;


#define REP(i,a,b) for(i=a;i<b;i++)
#define rep(i,n) REP(i,0,n)

typedef long long ll;
typedef unsigned long long ull;
typedef long double lb;

/* ここからが本編 */
int main(void)
{
   int i,j,k;
   int e[3];
   int ans = 0;
   int tmp;
   cin >> e[0] >> e[1] >> e[2] ;
   sort(e,e+3);

   ans += e[0];
   e[2] -= e[0]; e[1] -= e[0];  e[0] = 0;

   /* e[0] = 0 */
   while(1) {
      if(e[1] > e[2]) swap(e[1],e[2]);
      if(e[2] >= 3 && e[1] >= 1) {
         ans++; e[2] -= 3; e[1] -= 1;
      }
      else break;
   }

   tmp = e[2] / 5;
   ans += tmp;
   cout << ans << endl;
   return 0;
}