atihvk get ranked affordable bounds in propositional evidence of programs according to integer linear shows