Answer Key for Synthesis Problems