已知5x+0.8=19.3,则3x+12=( ),( )/x=3