function Main(input) {
	tmp = input.split(" ");
	var data = [];
	data[0] = parseInt(tmp[0]);
	data[1] = parseInt(tmp[1]);
	data[2] = parseInt(tmp[2]);
	var min = 0;
	var tmp = 0;
	var tmp_max = Math.max(data[0],data[1],data[2]);
	for(var i = 0; i < 3; i++) {
		if(data[i] != tmp_max || tmp == 1){
			min += data[i];
		}
		if(data[i] == tmp_max){
			tmp = 1;
		}
	}
	console.log(min);
}
 
Main(require("fs").readFileSync("/dev/stdin", "utf8"));