(26,46) d=20 cells=960 SAT in 1s, check: ok, R=188 (I/3=188)
(29,46) d=17 cells=1152 SAT in 0s, check: ok, R=132 (I/3=132)
(32,46) d=14 cells=1335 SAT in 0s, check: ok, R=85 (I/3=85)
(35,46) d=11 cells=1509 SAT in 4s, check: ok, R=47 (I/3=47)
(28,47) d=19 cells=1098 SAT in 1s, check: ok, R=168 (I/3=168)
