Getting search pattern...
Done

Preprocessing...
Done

Width: 57
Height: 57
Duration: 5

Number of undetermined cells: 4564
Number of variables: 66706
Number of clauses: 1092629

Unsatisfiable

Total solver time: 3038.2034962177277
