a;main(b){for(scanf("%d%d%*d",&a,&b),a*=b;~scanf("%d",&b);a-=b);a=!printf("%d",a<0?-1:a);}