PRESTO: Preimage-Informed Instruction Optimization for Prompting Black-Box LLMs