k_sat (98B)
1 # K SAT 2 3 [SAT] but with [CNFs] of [clause_width] at most k 4 5 - [2SAT] 6 - [3SAT] 7 8 Up: [sat_variants]