Towards Quantum Computing: Solving Satisfiability Problem By Quantum Annealing