金刚石薄壁钻头壁厚小于（）毫米，工程钻孔用，如钻混凝土。