k, n, f = gets.split.map(&:to_i)
eating = gets.split.map(&:to_i).inject(:+)

beans = k * n - eating
puts beans <= -1 ? -1 : beans