var input = require('fs').readFileSync('/dev/stdin', 'utf8');
(function Main(input) {
  var money = input.split(/\s+/);
  for(var i = 0; i < money.length; i++) {
  money[i] = parseInt(money[i], 10);
  }
  var max = Math.max(money[0], money[1], money[2]);
  var min = Math.min(money[0], money[1], money[2]);
  var average = (money[0] + money[1] + money[2]) - max - min;
  console.log('%d', min + average);
})(input);
