Solved by klee

#	Title	# Solved	Avg. Tries
1000	A+B STANDARD	328,252	2.59
1001	A-B STANDARD	282,255	1.45
1002	터렛	40,602	4.40
1003	피보나치 함수	61,326	2.94
1005	ACM Craft	16,913	3.34
1008	A/B STANDARD	233,497	2.89
1009	분산처리	24,465	4.10
1011	Fly me to the Alpha Centauri	24,905	3.11
1012	유기농 배추 STANDARD	59,408	2.56
1018	체스판 다시 칠하기	57,498	1.99
1026	보물	40,402	1.43
1057	토너먼트	11,893	1.72
1065	한수	70,841	1.82
1085	직사각형에서 탈출	64,076	1.52
1100	하얀 칸	18,941	1.39
1110	더하기 사이클	104,625	2.11
1149	RGB거리 STANDARD	54,834	1.77
1152	단어의 개수 STANDARD	117,128	3.00
1157	단어 공부	103,380	2.50
1158	요세푸스 문제	45,501	2.03
1181	단어 정렬	69,427	2.45
1193	분수찾기	61,053	1.93
1237	정ㅋ벅ㅋ STANDARD	22,777	3.22
1260	DFS와 BFS STANDARD	75,772	2.60
1316	그룹 단어 체커	80,654	1.85
1330	두 수 비교하기 STANDARD	206,520	2.01
1427	소트인사이드	60,134	1.52
1436	영화감독 숌	55,352	1.69
1463	1로 만들기 STANDARD	77,003	2.99
1541	잃어버린 괄호	43,784	1.82
1546	평균	131,377	1.99
1547	공	11,777	1.36
1654	랜선 자르기	42,448	4.59
1676	팩토리얼 0의 개수	38,442	2.16
1712	손익분기점 STANDARD	57,936	3.53
1780	종이의 개수	23,345	1.66
1874	스택 수열	50,799	2.58
1904	01타일	29,978	3.14
1912	연속합	43,741	2.66
1920	수 찾기	64,590	3.27
1924	2007년	39,777	1.98
1929	소수 구하기	66,035	3.53
1931	회의실 배정	56,604	3.21
1932	The Triangle	47,389	1.67
1934	최소공배수	41,909	1.82
1966	Printer Queue	40,820	1.70
1978	소수 찾기 STANDARD	91,170	2.11
1991	트리 순회	34,143	1.49
2108	통계학	37,561	3.68
2156	포도주 시식	39,391	3.05

1234