(39,48) d=9 cells=1788 SAT in 260s, check: ok, R=26 (I/3=26)
(77,85) d=8 cells=6432 UNKNOWN (time limit 540s)
