add an step for forward checking heuristic, to not get the values that make other values without posible values.
Merge branch 'correct_FC'