added another ILP version