Trabajadores al servicio del Estado recibirán aumento salarial de 5.7 por ciento