A simple 数独 solver.