A 27M-param model that solves hard Sudoku/mazes where LLMs fail, without CoT | Heykuki News