n,k,f=STDIN.gets.split(" ") a=n.to_i*k.to_i as=STDIN.gets.split(" ") as.size.times do |i| a-=as[i].to_i end if a<0 puts -1 else puts a end