钳工手锯条是合金工具钢制成的。