k, n, f = gets.chomp.split.map(&:to_i) family = gets.chomp.split.map(&:to_i) ans = k * n - family.inject(:+) puts ans >= 0 ? ans : -1