#include <bits/stdc++.h>
int main() {
  long long int mst, i, d1, d2, d3, max = 0;
  scanf("%I64d%I64d%I64d", &d1, &d2, &d3);
  if (max < d1) max = d1;
  if (max < d2) max = d2;
  if (max < d3) max = d3;
  if (2 * (d1 + d2 + d3 - max) <= d1 + d2 + d3)
    printf("%I64d", 2 * (d1 + d2 + d3 - max));
  else
    printf("%I64d", d1 + d2 + d3);
  return 0;
}
