o4 got this wrong multiple times. claude 3.7 got it right the first time