Better coding, detects strictly-betters, might be efficient enough to actually spit out an answer after a couple of hours