Pertimbangkan masalah 3-SAT pada n variabel. Jumlah klausa berbeda yang mungkin adalah:
Jumlah kasus masalah adalah jumlah semua himpunan bagian dari himpunan mungkin klausa: . Secara sepele, untuk setiap , ada setidaknya satu instance yang memuaskan dan satu instance tidak memuaskan. Apakah mungkin untuk menghitung, atau setidaknya memperkirakan, jumlah instance yang memuaskan untuk setiap n yang diberikan? n ≥ 3