Add ex3.cnf

  - Add another test data file 'ex3.cnf' with 8 variables and 18 clauses.