Add uuf50-01.cnf data file

  - Add another CNF data file with 50 variables (unsatisfiable).