# frozen_string_literal: true

remained = gets.chomp.split(" ").map(&:to_i)[..1].reduce(&:*) - gets.chomp.split(" ").map(&:to_i).sum
remained = -1 if remained.negative?
puts remained