Getting search pattern...
Done

Preprocessing...
Done

Width: 57
Height: 57
Duration: 5

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

Unsatisfiable

Total solver time: 406911.32917165756
