synthesizing 0/10 solutions copilot