Solving Random Satisfiability Problems with Quantum Computers