Petroleiros fecham acordo e encerram greve de 20 dias