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