Seol mar théacs é seo: Molecular dynamics simulation or structure refinement of proteins: are solvent molecules required? a case study using hen lysozyme