SAT[⟨10)10{{Ω}}10(10⟩] In Binary | ScratchStats