b1,b2,f_n = gets.chomp.split(" ").map(&:to_i)
result = b1 * b2 - gets.chomp.split(" ").map(&:to_i).inject(&:+)
puts result < 0 ? -1 : result