케이블 자르기

프로그래밍 대회를 준비하면서, 모든 참가자의 컴퓨터를 하나의 중앙 허브에 연결하는 '별(star)' 구조를 사용하기로 했다. 참가자들을 허브에서 같은 거리에, 서로 최대한 멀리 떨어뜨려 앉히기 위해 길이가 모두 똑같은 네트워크 케이블 여러 개가 필요하다.

창고에는 $N$개의 케이블이 있고, 각 케이블의 길이는 센티미터 단위까지 정확히 알려져 있다. 담당자는 잘라낼 조각의 길이를 하나 정한 뒤, 그 길이로 각 케이블을 센티미터 정밀도로 자른다. 길이가 $L$인 케이블에서는 길이 $x$짜리 조각을 최대 $\lfloor L / x \rfloor$개 얻을 수 있고, 남는 부분은 버린다.

창고의 케이블들에서 길이가 모두 같은 조각을 $K$개 얻으려고 한다. 이때 조각 하나의 길이가 될 수 있는 최댓값을 구하여라. 조각의 길이는 센티미터 단위(소수점 이하 두 자리)로만 지정할 수 있으며, 각 조각의 길이는 최소 1센티미터 이상이어야 한다.

첫째 줄에 두 정수 $N$과 $K$가 공백으로 구분되어 주어진다. $N$($1 \le N \le 10000$)은 창고에 있는 케이블의 수이고, $K$($1 \le K \le 10000$)는 필요한 조각의 수이다. 이어지는 $N$개의 줄에는 각 줄마다 케이블 하나의 길이가 미터 단위로 주어진다. 모든 케이블의 길이는 1미터 이상 100킬로미터 이하이며, 센티미터 정밀도로, 즉 소수점 이하 정확히 두 자리로 표기된다.

창고의 케이블들에서 조각을 $K$개 얻기 위한 조각 하나의 최대 길이를 미터 단위로 출력한다. 이 값은 센티미터 정밀도로, 즉 소수점 이하 정확히 두 자리로 출력해야 한다.

만약 각 길이가 1센티미터 이상인 조각을 $K$개 만드는 것이 불가능하다면 0.00만 출력한다.