Testing CNF