One SAT Word at a Time