Game definitions
Solver works ~40s
Solver works in <1s