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 num = 0;
            num = (a * b);
            for (int i = 0; i < c; i++)
            {
                num -= int.Parse(str1[i]);
                if (num < 0)
                {
                    Console.WriteLine("-1");
                    break;
                }
                else if(i==c-1)
                {
                    Console.WriteLine(num.ToString());
                }
            }
        }
    }
}