KS D 0250에서 요구하는 수침법에 사용하는 수직 탐촉자의 진동자 공칭 치수는 원칙적으로 지름이 얼마인 것으로 하여야 하는가?