HardCore Generation: Generating Hard UNSA T Problems for Data Augmentation