solve_pll_prog