P4Synth: 1000x faster function synthesis vs. SAT | Heykuki News