百度上有个最难数独， 用python跑它