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 Haskell (judge verdict: Time Limit Exceeded)

import Data.IntMap (keys, elems, adjust, fromList, (!))
import qualified Data.IntMap as M

splitOn c xs
 | null xs = []
 | head xs == c = splitOn c (tail xs)
 | otherwise = (takeWhile (/= c)) xs : splitOn c (dropWhile (/= c) xs)

main = interact $ unlines . numbering . map (show' . thief) . read' . lines
 where
  read' ("0":_) = []
  read' (w:n:xs) = (read w, parse_vw $ take (read $ n) xs) : read' (drop (read n) xs)
   where parse_vw = map (map read . splitOn ',')
  show' (v,w) = show v ++ "\n" ++ show w
  numbering = zipWith (++) ["Case " ++ show n ++ ":\n" | n<-[1..]] 

thief (max_weight, treasures) = dp (fromList $ zip [0..max_weight] (repeat 0)) treasures
 where
  dp im [] = (im!k, k)
   where k = minimum $ keys $ M.filter (== (maximum $ elems im)) im
  dp im ([v,w]:vws) = dp (update_im keys_update (adjust (max v) w im)) vws
   where
    keys_update = map (+w) (filter (\k -> elem k [w..max_weight-w]) $ keys $ M.filter (>0) im)
    update_im [] im' = im'
    update_im (k:ks) im' = update_im ks $ adjust (max (im!(k-w) + v)) k im'