a, b = gets.split.map(&:to_i) ages = gets.split.map(&:to_i) beans = a * b ages.each do |n| beans -= n break if beans.negative? end p [beans, -1].max