A GRASP for satisfiability