Promoting Generalization for Exact Solvers via Adversarial Instance Augmentation