Exact satisfiability threshold for k-satisfiability problems on a Bethe lattice.