Solved by klee

#	Title	# Solved	Avg. Tries
2805	EKO	43,358	3.75
2798	JACK	79,993	2.02
2775	부녀회장이 될테야	55,112	1.73
2753	윤년 STANDARD	186,651	1.93
2751	수 정렬하기 2 STANDARD	78,924	3.18
2750	수 정렬하기 STANDARD	91,219	1.72
2749	피보나치 수 3	9,895	2.50
2748	Fibonacci Number 2	39,925	2.43
2747	피보나치 수	33,540	2.00
2742	기찍 N	118,131	1.45
2741	N 찍기 STANDARD	139,514	1.74
2739	구구단 STANDARD	201,037	1.98
2675	Repeating Characters	112,889	2.00
2667	단지번호붙이기	60,253	2.31
2661	좋은수열	6,405	2.00
2609	최대공약수와 최소공배수	60,979	1.73
2606	바이러스 STANDARD	64,508	2.17
2588	곱셈 STANDARD	173,978	2.15
2581	소수 STANDARD	56,611	2.51
2580	스도쿠	20,994	3.68
2579	계단 오르기 STANDARD	55,918	2.91
2577	숫자의 개수	103,489	1.65
2562	최댓값	140,392	2.20
2558	A+B - 2 STANDARD	77,224	1.39
2557	Hello World STANDARD	361,889	2.54
2523	별 찍기 - 13	22,894	1.38
2490	윷놀이	24,171	1.76
2475	검증수 STANDARD	55,979	1.34
2455	지능형 기차	20,918	1.32
2447	별 찍기 - 10	34,352	1.78
2446	별 찍기 - 9 STANDARD	33,724	1.66
2442	별 찍기 - 5 STANDARD	40,325	1.81
2441	별 찍기 - 4	58,603	1.35
2440	별 찍기 - 3 STANDARD	64,823	1.46
2439	별 찍기 - 2 STANDARD	172,506	1.78
2438	별 찍기 - 1 STANDARD	189,050	1.61
2309	일곱 난쟁이	48,407	2.40
2293	동전 1	26,329	2.09
2292	벌집 STANDARD	79,308	2.22
2252	줄 세우기	23,874	1.73
2231	Digit Generator	66,252	2.20
2217	로프	26,979	2.28
2163	초콜릿 자르기 STANDARD	29,250	1.40
2156	포도주 시식	39,281	3.05
2108	통계학	37,465	3.68
1991	트리 순회	34,045	1.49
1978	소수 찾기 STANDARD	90,923	2.11
1966	Printer Queue	40,704	1.70
1934	최소공배수	41,790	1.82
1932	The Triangle	47,235	1.67

1234