Experimental minisat SAT solver reimplementation in Rust