#include <stdio.h>
#include <malloc.h>
char str[60000];
int str_len = 0;

/// <summary>
/// グローバル変数strの中身を入力された文字列で上書きする
/// </summary>
void ReadString() {
	char c = getchar();
	str_len = 0;

	while (c != '\n') {
		str[str_len] = c;
		c = getchar();
		str_len++;
	}
}

/// <summary>
/// 入力された数字を返す
/// </summary>
/// <returns></returns>
int ReadNum() {
	char c = getchar();
	int num = 0;
	int numCnt = 0;
	while (c != '\n') {
		num = num * 10 + c - '0';
		c = getchar();
	}

	return num;
}

/// <summary>
/// 引数numsの中の値を昇順にソートする
/// </summary>
/// <param name="nums">ソートしたい配列</param>
/// <param name="n">ソートしたい配列の要素数</param>
void Sort(int* nums, int n) {
	for (int i = 0;i < n - 1;i++) {
		for (int j = i + 1;j < n;j++) {
			if (nums[i] > nums[j]) {
				int work = nums[i];
				nums[i] = nums[j];
				nums[j] = work;
			}
		}
	}
}

/// <summary>
/// ReadStringの文字列のうち、スペースで区切られた左側か右側を取得する
/// </summary>
/// <param name="leftIs">左が欲しければtrue,右ならfalse</param>
/// <returns>引数に対応した側の数字を返す</returns>
int GetLR(int leftIs) {
	int cnt = 0;
	int num = 0;
	int left = 0;
	int right = 0;
	while (1) {
		if (cnt >= str_len) {
			right = num;
			break;
		}
		if (str[cnt] == ' ') {
			left = num;
			num = 0;
			cnt++;
			continue;
		}
		num = num * 10 + (str[cnt] - '0');
		cnt++;
	}
	if (leftIs) {
		return left;
	}
	else {
		return right;
	}
}

/// <summary>
/// 引数*numsのポインタ位置にある配列の中身をstrのスペースで区切られた数字にする
/// 渡されたポインタ位置が、strのスペースの数+1個分　静的にメモリが確保された配列である必要がある
/// </summary>
/// <param name="nums"></param>
/// <returns></returns>
void GetNums(int *nums,int size) {
	for (int i = 0;i < size;i++) {
		nums[i] = 0;
	}
	int numIndex = 0;
	for (int i = 0;i < str_len;i++) {
		if (str[i] == ' ') {
			numIndex++;
			continue;
		}
		nums[numIndex] = nums[numIndex] * 10 + (str[i] - '0');
	}
}

int main()
{
	int knf[3] = {0,0,0};
	ReadString();
	GetNums(knf,3);
	int beans = knf[0] * knf[1];//豆の合計
	int family = knf[2];//家族の人数

	int* families;//家族のそれぞれの年齢
	families = (int*)malloc(sizeof(int) * family);//家族の人数分メモリーを動的に確保する
	ReadString();
	GetNums(families,family);

	int sum = 0;
	for (int i = 0;i < family;i++) {
		sum += families[i];
	}
	beans -= sum;
	if (beans < 0) {
		beans = -1;
	}
	printf("%d\n",beans);
}