N    E          sym                      symCod            SAT sym   SAT symCod SAT symCod+
  9   10       0.250 (2282)           0.171 (1484)          0.45229    0.32078      0.26967
 10   12       1.125 (9714)           0.688 (5902)          1.26410    0.73982      0.69215
 11   14       7.406 (47369)          4.156 (27262)         3.67784    2.29079      1.96413
 12   16      53.424 (246546)        29.205 (137423)       20.19036    11.07413     8.91346
 13   18     419.675 (1442710)      227.307 (785454)      103.55339    59.27431    45.38592
 14   21    3870.330 (9661448)     2034.560 (5165274)                 257.28224   161.72642
 15   22  32804.665 (61294940)    17129.141 (32569207)               2239.83698  1689.00733