Problem:
泥棒

宝物がたくさん収蔵されている博物館に、泥棒が大きな風呂敷を一つだけ持って忍び込みました。盗み出したいものはたくさんありますが、風呂敷が耐えられる重さが限られており、これを超えると風呂敷が破れてしまいます。そこで泥棒は、用意した風呂敷を破らず且つ最も価値が高くなるようなお宝の組み合わせを考えなくてはなりません。

風呂敷が耐えられる重さ W、および博物館にある個々のお宝の価値と重さを読み込んで、重さの総和が W を超えない範囲で価値の総和が最大になるときの、お宝の価値総和と重さの総和を出力するプログラムを作成してください。ただし、価値の総和が最大になる組み合わせが複数あるときは、重さの総和が小さいものを出力することとします。

Input

複数のデータセットが与えられます。各データセットは以下のような形式で与えられます。

W
N
v1,w1
v2,w2
:
vN,wN

１行目に風呂敷の耐えられる重さを表す整数 W (W ≤ 1,000)、２行目にお宝の数 N (1 ≤ N ≤ 1,000) が与えられます。続く N 行に i 番目のお宝の価値を表す整数 vi (0 ≤ vi ≤ 10,000) とその重さを表す整数 wi (0 ≤ wi ≤ W) の組がそれぞれ１行に与えられます。

W が 0 のとき入力の最後とします。データセットの数は 50 を超えません。

Output

各データセットに対して以下のように出力して下さい。

Case データセットの番号:
風呂敷に入れたお宝の価値総和
そのときのお宝の重さの総和

Sample Input

50
5
60,10
100,20
120,30
210,45
10,4
50
5
60,10
100,20
120,30
210,45
10,4
0

Output for the Sample Input

Case 1:
220
49
Case 2:
220
49

Solution in OCaml (judge verdict: Accepted)

let id x = x

let rec iteri f s t = if s > t then () else begin f s; iteri f (s + 1) t end

let rec read n = if n <= 0 then ([],[])
                 else let x, y = Scanf.scanf "%d,%d\n" (fun x y -> (x, y)) in 
                      let (xs, ys) = read (n - 1) in (x::xs, y::ys)

let solve dp vs ws n w =
  iteri (fun i -> 
         iteri (fun j -> 
                if j >= ws.(i) then dp.(i+1).(j) <- max dp.(i).(j) (dp.(i).(j - ws.(i)) + vs.(i)) 
                else dp.(i+1).(j) <- dp.(i).(j)) 0 w) 0 (n - 1)

let rec min_w dp i j v = 
  if dp.(i).(j) = v then min_w dp i (j - 1) v else j + 1

let _ =
  let cnt = ref 0 in
  try
    while true do
      let w = Scanf.scanf "%d\n" id in
      if w = 0 then 
        raise End_of_file
      else
        let n = Scanf.scanf "%d\n" id in
        let dp = Array.make_matrix (n + 1) (w + 1) 0 in
        let vs', ws' = read n in
        let vs = Array.of_list vs' in
        let ws = Array.of_list ws' in
        solve dp vs ws n w;
        incr cnt;
        Printf.printf "Case %d:\n" !cnt;
        Printf.printf "%d\n" (dp.(n).(w));
        Printf.printf "%d\n" (min_w dp n w dp.(n).(w))
    done
  with
    End_of_file -> ()