[PPT] - Counterexample-Guided Quantifjer Instantiation for Synthesis in SMT PowerPoint Presentation