github copilot synthesizing 0 solutions