SAT[⟨11)11{{Ω}}11(11⟩] Band fixed | ScratchStats