#include <iostream>
#include <algorithm>
#include <vector>
#include <string>

int main() {
    int n;
    std::cin >> n;

    int ans = 0;
    int max = 0;
    for (int i = 0; i < n; i++) {
        int a;
        scanf("%d", &a);
        ans += a / 2;
        max = std::max(max, a);
    }
    ans += max - max / 2;
    std::cout << ans << std::endl;
}