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