SAT for Rust