{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//!"}]}
//! than finding a number of solutions (there are normally quite a few).
//! Additionally, the algorithm is geared towards finding *any* solution rather