add solve_ip function