Not knowing the lens is not a big problem usually. It helps the validate whether your solve is correct, but lenses aren't perfect, so letting the solver figure it out can produce more stable results, even though it comes up with a slightly off value for the lens.