Changes on solver in order to have a special treatment for binary clauses in case of huge problems.