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;
                }
                if (j == c)
                {
                    Console.WriteLine(num.ToString());
                    break;
                }
                num -= d[j];
               
            }
        }
    }
}