function Main(input){

  input = input.split('\n');
  for(var i=0;i<input.length;i++){
    input[i] = parseInt(input[i],10);
}
  var max;
  var sum;
  max = 0;
  sum = 0;
  
  for(var i=0;i<input.length;i++){
    if(input[i]>max){
      max = input[i];
    }
    sum = sum + input[i];
                      }
                      
                      
                      sum = sum - max/2;
                      console.log(sum);
                      }
                      
                      

  
 
Main(require("fs").readFileSync("/dev/stdin", "utf8"));