#include <bits/stdc++.h>
using namespace std;

int main() {
	vector<int> r(3);
	cin >> r[0]>>r[1]>>r[2];
	int ans = 0;
	sort(r.begin(), r.end());
	while (r[0]>=0) {
		int mi = r[0];
		ans += mi;
		r[0] -= mi;
		r[1] -= mi;
		r[2] -= mi;
		r[2] -= 2;
		r[0]++;
		sort(r.begin(), r.end());
	}
	cout << ans << endl;


	return 0;
}