結果 : constraint satisfaction python