Sol 6 is also dumber than Sol 5.6 on some tasks (DeepSWE)