Constant SAT_XGCF_CNF_COUNTS 

pub const SAT_XGCF_CNF_COUNTS: &str = "sat_xgcf_cnf_counts";