Solved by isabelle

#	Title	# Solved	Avg. Tries
5543	상근날드	28,101	1.47
5622	BAKA	76,527	1.71
7568	덩치	52,018	1.78
8393	Sum STANDARD	167,289	1.56
8958	Score	99,399	1.93
9020	Goldbach’s Conjecture	27,839	2.54
9498	시험 성적 STANDARD	204,916	1.83
10039	평균 점수	43,963	1.59
10171	Cats STANDARD	183,898	2.80
10172	Dogs STANDARD	179,702	2.33
10250	ACM Hotel	60,243	3.00
10430	나머지 STANDARD	195,778	1.95
10718	We love kriii STANDARD	182,480	1.53
10809	알파벳 찾기	110,010	1.87
10817	세 수	59,809	1.98
10818	최소, 최대	143,643	2.26
10869	사칙연산 STANDARD	227,475	2.24
10870	피보나치 수 5	62,525	1.64
10871	X보다 작은 수 STANDARD	154,052	1.84
10872	팩토리얼	82,792	1.80
10950	A+B - 3 STANDARD	166,437	1.71
10951	A+B - 4 STANDARD	133,588	2.77
10952	A+B - 5 STANDARD	145,074	1.90
10989	수 정렬하기 3 STANDARD	59,937	4.19
10996	별 찍기 - 21	12,564	1.34
10998	A×B STANDARD	230,089	1.30
11021	A+B - 7 STANDARD	137,476	2.04
11022	A+B - 8 STANDARD	133,224	1.47
11654	아스키 코드 STANDARD	121,650	1.23
11720	숫자의 합 STANDARD	129,807	1.79
11729	하노이 탑 이동 순서	37,612	1.95
14681	Quadrant Selection STANDARD	156,981	1.64
15552	빠른 A+B STANDARD	129,484	2.20
15596	정수 N개의 합	61,838	1.98

12