def evalue_cnf(cnf,X):