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. 