merge cnf