結果 : write a simple backtracking algorithm for constraint satisfaction problems