Он чӣ дар варақаи формулаҳо нест - Математикаи SAT