This is MiniSat 2.0 beta
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:  17630                                                |
|  Number of clauses:    52081                                                |
restarts              : 11
conflicts             : 11722       
decisions             : 29603          (1.48 % random)
propagations          : 13327606    
conflict literals     : 195534         (35.90 % deleted)

UNSATISFIABLE
exit 20