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 x = 0;
		for (var i = 0; i < money.length; i++) {
			x += money[i];
    }
   x -= max; 
  console.log('%d', x);
})(input);
