Quantum Solution for the 3-SAT Problem Based on IBM Q