#include <bits/stdc++.h>
using namespace std;
int n;
int d;
int a[102];
int tot;
int ans;
int main() {
  scanf("%d %d", &n, &d);
  for (int i = 1; i <= n; ++i) {
    scanf("%d", &a[i]);
    tot = tot + a[i];
    ans = ans + 2;
  }
  ans = ans - 2;
  tot = tot + 10 * (n - 1);
  if (tot > d) {
    printf("-1");
    return 0;
  }
  ans = ans + (d - tot) / 5;
  printf("%d", ans);
}
