BCC-SAT 1 | Decode