Add uf50-01.cnf data file
  - Add another CNF data file with 50 variables.