3.7 · Системаҳои ғайрихаттӣ - Математикаи SAT