The program was wrong. Erased and tried to start finding the solution for the decision problem.