Constant SAT_CNF_WRITE_TERMINATOR 

pub const SAT_CNF_WRITE_TERMINATOR: &str = "sat_cnf_write_terminator";