CSP con backtracking tonto