SMT
#1 472
#2 259
#3 108
#4 34
#5 33
#6 28
#7 10
#8 5
#9 3
#10 3
#11 3
#12 2
#13 2
#14 2
#15 2
#16 2
#17 1
#18 1
#19 1
#20 1
#21 1
#22 1
#23 1
#24 1