SKIP: The live page status is DECIDABLE and states that Sawhney solved the problem for all sufficiently large \(N\); it lists 0 claimed proofs and no current worker.