Constant SAT_NOT_PHI_COUNTS 

pub const SAT_NOT_PHI_COUNTS: &str = "sat_not_phi_counts";