This is MiniSat 2.0 beta
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:  65902                                                |
|  Number of clauses:    218335                                               |
restarts              : 14
conflicts             : 53073       
decisions             : 143203         (1.42 % random)
propagations          : 40392070    
conflict literals     : 2133129        (40.99 % deleted)

SATISFIABLE
exit 10