RUST SOLVER