The SAT word game