GSAT versus Simulated Annealing