Optimal Certifying Algorithms For Linear And Lattice Point Feasibility In A System of Utvpi Constraints