testing CNF