Constant SAT_PROOF_MARK_NEEDED 

pub const SAT_PROOF_MARK_NEEDED: &str = "sat_proof_mark_needed";