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