一般情况下，焊接厚度为3.5mm的焊件，选用的焊条直径是( )。