Working on CSP solve to find first consistent solution in a CSP