Improving two-mode algorithm via probabilistic selection for solving satisfiability problem