ULTRAKIDLE SOLVER