<?php
fscanf(STDIN,"%d %d %d",$a,$b,$c);
$n=explode(' ',trim(fgets(STDIN)));

$sum=array_sum($n);

$res= ($a*$b)-$sum;

echo $res>=0? $res : -1 . PHP_EOL;