2SAT_DFS