72 to 74 on DeepSWE is AGI