Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization