push cnf
merged