The SAT Problem That Everybody Got Wrong