Game of Life in reverse with SAT solvers – Thinking in 3721 dimensions (2024) [video]