The Local Lemma Is Tight for SAT