Adding solution for ariprog