Added a lot more detail about how the cryptic solver works"