using System;

namespace yukicoder
{
    class Program
    {
        static void Main(string[] args)
        {
            string[] str = Console.ReadLine().Split(' ');
            string[] str1 = Console.ReadLine().Split(' ');
            int a = int.Parse(str[0]);
            int b = int.Parse(str[1]);
            int c = int.Parse(str[2]);
            int[] d = new int[c];
            int num = 0;

            for(int i = 0; i < c; i++)
            {
                d[i] = int.Parse(str1[i]);
            }
            num = a * b;
            for(int j = 0; j < c; j++)
            {
                if (num < 0)
                {
                    Console.WriteLine("-1");
                    break;
                }
                num -= d[j];
            }
            Console.WriteLine(num.ToString());
        }
    }
}