Brute-force solvers for xkcd 1193