c This is QMaxSAT v0.4c, a Partial Max-SAT solver based on MiniSat 2.0 beta
c WARNING: for repeatability, setting FPU to use double precision
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Number of variables:    776                                                |
c |  Number of clauses:      75486                                              |
c |  Weight of hard clauses: 776                                                |
c |  Number of soft clauses: 776                                                |
c |  Parsing time:         0.03         s                                       |
c Lower: 0, Middle: 388, Upper: 776
c Lower: 0, Middle: 380, Upper: 761
c Binary Search Mode
c Lower: 380, Middle: 570, Upper: 761
c Lower: 380, Middle: 570, Upper: 760
c Binary Search Mode
c Lower: 570, Middle: 665, Upper: 760
c Lower: 570, Middle: 664, Upper: 759
c Binary Search Mode
c Lower: 664, Middle: 711, Upper: 759
c Lower: 664, Middle: 710, Upper: 757
c Binary Search Mode
c Lower: 710, Middle: 733, Upper: 757
c Lower: 710, Middle: 733, Upper: 756
c Binary Search Mode