#include <iostream>
#include <cstdio>
using namespace std;
int main() {
int n, d, t, cnt=0;
scanf("%d%d", &n, &d);
while(n--) {
scanf("%d", &t);
d-=t;
if(n) d-=10, cnt+=2;
}
if(d<0) printf("-1");
else {
cnt+=d/5;
printf("%d", cnt);
}
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8Y3N0ZGlvPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7CglpbnQgbiwgZCwgdCwgY250PTA7CglzY2FuZigiJWQlZCIsICZuLCAmZCk7Cgl3aGlsZShuLS0pIHsKCQlzY2FuZigiJWQiLCAmdCk7CgkJZC09dDsKCQlpZihuKSBkLT0xMCwgY250Kz0yOwoJfQoJaWYoZDwwKSBwcmludGYoIi0xIik7CgllbHNlIHsKCQljbnQrPWQvNTsKCQlwcmludGYoIiVkIiwgY250KTsKCX0KCXJldHVybiAwOwp9