The Local Lemma is asymptotically tight for SAT - Heidi Gebauer; Tibor Szabo; Gabor Tardos (2010)