GPT-5.6 Sol won our benchmark unfinished | LeanZero