# CNF Testing Cookbook