copilot synthesizing 0/10 solutions