solving 3-SAT problem with simulating annealing