I was trying to figure out what the human score on SWE-Bench is, but the paper doesn't mention it, as far as I can tell.