use a trie for significant solver perf boost