well, there is a very simple and, in my mind, very elegant algorithm that in 1999 was proposed by uwe schöning to solve a 3-sat instance with n variables and this here is the algorithm so the algorithm will start out by picking a random zero, one assignment for the the variables.