Email Record: Probabilistic satisfiability: algorithms with the presence and absence of a phase transition