solvers: backtrace, DFS and greedy