The fastest quantum algorithms for 3-SAT achieve only quadratic, Grover-type speedups over the best classical algorithms. Optimality of this is unknown. I think we should look at algorithms that do more than put Grover on top of a classical base. (See link for paper below)