diff --git a/solver.py b/solver.py
index dcbe895daf3035bd30e33bd0828c59464108b1b2..a36f0524af2ad5ec4143c6270d60a9c900393606 100644
--- a/solver.py
+++ b/solver.py
@@ -544,9 +544,6 @@ def generate_sat(Q, WH=None, seed=0):
                                             cnfs.append(cnf)
                                             cnf[f'b{b}_{j}_{i}'] = '-1'
                                             cnf[f'b{b2}_{j2}_{i2}'] = '-1'
-                                            if (b,j,i,b2,j2,i2) == (1, 0, 0, 2,3,7):
-                                                print(f'b{b}_{j}_{i}')
-                                                print(f'b{b2}_{j2}_{i2}')
                                             break
 
     # block上にないlineは周囲2マスに接続