Taxa de desemprego fica em 12,7% no trimestre até maio (12,9% no tri até abril)