///////// 	No.143 豆
    //入力文字読み取り
    process.stdin.resume();
    process.stdin.setEncoding('utf8');
    process.stdin.on('data', function (chunk) {

    //すべて受け取り改行で区切って格納
    var input = chunk.split("\n");

    //豆、袋、家族の人数
    var bean = input[0].split(" ").map(Number)
    //家族の年齢
    var age = input[1].split(" ").map(Number)

    //豆の合計
    var beansum = bean[0] * bean[1];
    
    //家族の年齢の合計
    var agesum =0
    for (var i = 0; i < bean[2]; i++) {
       agesum +=  age[i]
    }

    //豆がいくつ余るか計算
    var result = beansum - agesum

    if (result < 0) {
        console.log(-1)
    } else {
        console.log(result)
    }
})