<?php
    while($line = fgets(STDIN)){
        $tmp[] = $line;
    }
    
    foreach($tmp as $val){
        $array[] = explode(" ", $val);
    }
    
    // $array[0]は粒、袋、人数
    // $array[1]は　年齢
    $sum = $array[0][0] * $array[0][1];
    
    for($i=0; $i<$array[0][2]; $i++){
        $sum -= $array[1][$i];
    }
    
    if($sum >= 0){
         echo $sum;
    }else{
        echo -1;
    }
   
?>