cnf.lits