Added a test CNF file that has a decent run time