solve_nash01