function main (input) {
  inputList = input.split(' ');
  timeList = [];
  for (input of inputList) {
    timeList.push(parseInt(input, 10));
  }
  min = 0;
  for (s = 0; s < 3; s++) {
    if ((val = timeList[s] + timeList[(s+1) % 3]) < min || min === 0) {
      min = val;
    };
  }
  console.log('%d', min);
}

main(require('fs').readFileSync('/dev/stdin', 'UTF-8'));