using System;

namespace test_2
{
    class Program
    {
        static void Main(string[] args)
        {
            string[] n = Console.ReadLine().Split(' ');

            int mame = int.Parse(n[0]) * int.Parse(n[1]);
            int family = int.Parse(n[2]);

            string[] years = Console.ReadLine().Split(' ');

            for(int i= 0; i < family; i++)
            {
                mame -= int.Parse(years[i]);
                
            }

            if(mame < 0)
            {
                Console.WriteLine(-1);
            }
            else
            {
                Console.WriteLine(mame);
            }


        }
    }
}