Getting search pattern...
Done

Preprocessing...
Done

Width: 44
Height: 44
Duration: 5

Number of undetermined cells: 2786
Number of variables: 7117
Number of clauses: 464006

x = 44, y = 44, rule = B3/S23
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbboobbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbobobbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbobbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbobbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbobobbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbobobbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbobbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbboobbbbbbbobbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbobobbboooobbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbobbbobbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbboobbbbobbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbobbbobbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb$
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb!


Writing JLS status file...
Done

Unsatisfiable

Total solver time: 49779.53935599327
