sol: cargo run