A sharp augmented Lagrangian-based method in constrained non-convex optimization. (4th May 2019)