By what date will the first publicly released model score above 70% on SWE-Bench Pro (Public Dataset)?