루벤의 미니언 소환

프로그래밍 대회의 총괄 심사위원 자리는 만만한 일이 아니다. 대회가 열리기 전에 처리해야 할 일이 길게 늘어선다. 다행히 루벤은 버튼을 누르면 자기 일을 대신 해 줄 작은 미니언을 하나씩 만들어 내는 기계를 얻었다. 기계를 켜라고 알려 줄 조수도 한 명 고용했다.

미니언에는 한 가지 문제가 있다. 수가 너무 많으면 잃어버리기 쉽다. 누군가는 미니언을 계속 관리해야 하므로 적을수록 좋다. 기계가 만들어 낸 미니언은 정해진 양만큼 일하고 나면 그대로 소진된다. 재활용 기계가 있기는 하지만 깊고 어두운 숲 어딘가에 숨어 있다.

기계가 만드는 미니언의 작업량은 평균 $\mu$와 표준편차 $\sigma$를 모두 모르는 정규분포를 따른다. 일정한 시간 동안 기계가 만들 수 있는 미니언의 수는 세기 $\lambda$를 모르는 푸아송분포를 따른다.

우리가 알고 싶은 것은 루벤이 모든 일을 끝내려면 미니언을 최소 몇 번 만들어야 하는가이다. 미니언 $M$마리가 각각 몇 단위의 일을 할 수 있는지 목록으로 주어진다. 기계는 미니언을 $M$마리 만들고 나면 완전히 고장 난다. 다음에 어떤 미니언을 만들지는 목록에서 고를 수 있지만, 같은 미니언을 두 번 만들 수는 없다. 미니언은 저마다 다르지만 작업량은 서로 같을 수 있다.

첫 줄에 테스트 케이스의 수 $T$가 주어진다. 이어지는 각 테스트 케이스는 두 줄로 이루어진다. 첫 줄에는 루벤이 끝내야 하는 일의 양 $W$와 기계가 만들 수 있는 미니언의 수 $M$이 주어진다. 다음 줄에는 각 미니언이 할 수 있는 일의 양 $C_i$가 $M$개 주어진다.

• $0 < T \le 50$
• $0 < W \le 10000$
• $0 < M \le 100$
• $0 < C_i \le 100$

각 테스트 케이스마다 일의 양 $W$를 모두 끝내는 데 필요한 미니언의 최소 개수를 한 줄에 출력한다. 미니언을 $M$마리 다 만들어도 $W$를 채울 수 없으면 따옴표 없이 no rest for Ruben을 출력한다. Ruben의 첫 글자 R은 대문자로 써야 한다.