Quantum Annealing for SAT Solving