5. CNF Testing CookbookΒΆ