結果 : solve constraint satisfaction problem in python