#include <stdio.h>
#include <stdlib.h>

// 標準入力から改行かスペースまで読み取り、数字として返す
int get_num() {
    // 10文字+区切り文字までしか受け付けられない
    char s[11];
    int i, n;
    for (i = 0; i < sizeof(s); i++) {
        s[i] = getchar();
        if (s[i] == ' ' || s[i] == '\n') {
            s[i] = '\0';
            break;
        }
    }
    sscanf(s, "%d", &n);
    return n;
}

int main(void) {
    int i, n, x;
    int m[1001];
    int count;
    
    int min_i, min_m;
    
    n = get_num();
    x = get_num();

    for (i = 0; i < n; i++) {
        m[i] = get_num();
    }
//    printf("n = %d\n", n);
//    printf("x = %d\n", x);
//    for (i = 0; i < n; i++) {
//        printf("m[%d] = %d\n", i, m[i]);
//    }

    min_i = 0;
    min_m = m[0];
    
    for (i = 0; i < n; i++) {
        if (m[i] < min_m) {
            min_m = m[i];
            min_i = i;
        }
        x -= m[i];
    }
    count = n;
    count += x / min_m;
    
    printf("%d\n", count);
    
    return 0;
}