結果 : constraint satisfaction problem python code