Nope, no consensus, so it's not settled!!!
"There is considerable debate about the igneous crystallization ages of shergottites," says Thomas Lapen, an isotope geochemist at the University of Houston in Texas, who has previously dated ALH84001 to 4.1 billion years old.