A fairly fast solution to Matt Parker's five five-letter words with twenty-five unique letters problem. Runs in ~0.8 seconds on my machine (2021 Apple M1 Macbook Pro). Instructions to run: cargo run --release.