Solved by klee

#	Title	# Solved	Avg. Tries
3009	CETVRTA	44,039	1.36
3052	MODULO	118,052	1.73
3053	HERMAN	22,251	2.04
4153	Egypt	50,433	2.00
4307	Ants	2,481	2.00
4344	Above Average	82,691	2.47
4673	Self Numbers	73,395	2.02
4948	Chebyshev's Theorem	36,387	2.55
5543	상근날드	28,441	1.47
5622	BAKA	78,627	1.71
6064	Cain Calendar	16,108	3.67
7287	Registration STANDARD	63,417	1.92
8393	Sum STANDARD	170,886	1.56
8958	Score	100,921	1.93
9012	Parenthesis	81,727	2.15
9020	Goldbach’s Conjecture	27,993	2.53
9184	Function Run Fun	17,516	2.33
9375	Incognito	23,106	1.79
9461	Padovan Sequence	43,882	2.30
9498	시험 성적 STANDARD	209,496	1.82
9663	N-Queen	41,260	2.14
10039	평균 점수	44,533	1.59
10171	Cats STANDARD	188,037	2.79
10172	Dogs STANDARD	183,641	2.33
10212	Mystery STANDARD	1,446	14.26
10250	ACM Hotel	61,514	3.00
10272	Bounty Hunter	370	2.24
10430	나머지 STANDARD	200,091	1.95
10451	Permutation Cycles	10,153	1.59
10718	We love kriii STANDARD	183,040	1.53
10757	큰 수 A+B STANDARD	44,219	1.97
10773	Zero That Out	62,142	1.46
10809	알파벳 찾기	113,078	1.87
10814	나이순 정렬	59,060	2.27
10815	숫자 카드	42,135	2.33
10816	숫자 카드 2	49,636	2.61
10817	세 수	60,415	1.97
10818	최소, 최대	147,402	2.25
10844	쉬운 계단 수	38,882	3.22
10866	덱	44,061	1.78
10869	사칙연산 STANDARD	232,719	2.24
10870	피보나치 수 5	63,577	1.64
10871	X보다 작은 수 STANDARD	157,887	1.84
10872	팩토리얼	84,287	1.80
10926	??! STANDARD	138,601	1.99
10950	A+B - 3 STANDARD	170,585	1.71
10951	A+B - 4 STANDARD	137,176	2.76
10952	A+B - 5 STANDARD	148,819	1.90
10986	나머지 합	12,536	3.79
10989	수 정렬하기 3 STANDARD	61,831	4.18

1234