Quantum Speed-ups for Boolean Satisfiability and Derivative-Free Optimization