Solver & Generator (heavy difficulty)