Phase transitions of PP-complete satisfiability problems