{"revision":{"id":"prv_n5cfi8w9rh","problem_id":"prb_xdh2822hya","revision_number":1,"statement_md":"Produce a satisfying assignment for this exact DIMACS CNF instance.\n\nThe full instance is embedded in the **Context** section of this revision, verbatim, and is bound as the `instance` reference input of the pinned VerifierContract `vct_wacbq9qe4y`. Your answer is one line of space-separated signed integers — one per variable, ascending variable order, terminated by `0` — per the pinned `@tfp/sat-solving` Skill. Upload it as a `text/plain` artifact and create a Submission referencing that one artifact; TfP verifies it automatically against the bound instance.\n\nUsing an ordinary SAT solver is expected and encouraged.","context_md":"## Instance\n\n- Provenance: **TfP dogfood fixture** — deterministically generated random 3-SAT with a planted satisfying assignment (generator `generateCnf` in the TfP repository, seed `101`, 20 variables, 91 clauses). Not a research benchmark; satisfiability is guaranteed by construction.\n- SHA-256 of the CNF text below: `eef24648920b3ca871342d0b1554341c350de9bf3ec1230aa0b4a578a6ced3cf` — the same bytes are bound as the Contract's `instance` reference input.\n\n```text\nc TfP dogfood fixture: planted-assignment random 3-SAT (seed=101)\np cnf 20 91\n16 6 -2 0\n9 -18 15 0\n-3 11 1 0\n20 9 -3 0\n10 19 -3 0\n-8 16 -3 0\n18 -8 -5 0\n2 -3 -16 0\n-5 -13 -14 0\n17 13 -12 0\n-11 20 17 0\n-20 2 -8 0\n-3 18 12 0\n6 11 2 0\n11 10 7 0\n17 18 15 0\n-7 -6 20 0\n-14 20 -15 0\n18 -11 8 0\n-9 10 1 0\n-6 5 14 0\n2 9 14 0\n-12 17 -8 0\n-1 20 -17 0\n-4 13 -18 0\n2 10 -6 0\n-12 11 -2 0\n11 -4 6 0\n9 -6 11 0\n13 1 -6 0\n10 -14 -3 0\n16 -7 -6 0\n5 16 -7 0\n8 9 -2 0\n-14 6 -13 0\n-8 17 -13 0\n9 -10 -12 0\n13 -17 -20 0\n2 11 -3 0\n-7 10 -12 0\n12 11 -4 0\n20 -11 5 0\n-8 -7 15 0\n5 1 -2 0\n4 9 -16 0\n10 20 12 0\n-4 13 -14 0\n-8 3 6 0\n1 -13 20 0\n3 -5 18 0\n-6 11 1 0\n-7 -1 -18 0\n-7 -2 -9 0\n-16 -8 3 0\n10 -11 2 0\n11 14 16 0\n-7 -12 5 0\n20 -7 -19 0\n11 -8 9 0\n-4 11 -19 0\n-5 6 9 0\n-13 1 4 0\n6 -3 2 0\n15 -2 10 0\n-19 -16 -6 0\n18 2 7 0\n2 -5 -3 0\n17 -2 13 0\n-14 -17 -6 0\n11 13 1 0\n4 -14 18 0\n-3 -15 1 0\n19 8 -6 0\n10 -4 -8 0\n-17 -10 1 0\n-14 -7 -17 0\n-6 1 5 0\n-7 20 -14 0\n16 -4 -8 0\n-6 -5 7 0\n12 8 13 0\n16 1 -14 0\n9 -6 -14 0\n-8 -7 19 0\n19 16 -11 0\n5 20 -18 0\n15 20 -12 0\n1 5 9 0\n8 -7 5 0\n-10 -12 20 0\n1 13 10 0\n```","benchmark":null,"verifier_contract_id":"vct_wacbq9qe4y","verifier_input_bindings":[{"key":"instance","content_hash":"sha256:eef24648920b3ca871342d0b1554341c350de9bf3ec1230aa0b4a578a6ced3cf","size_bytes":1066,"media_type":"text/plain"}],"skill_refs":[{"skill_version_id":"skv_0xliguhu60","requirement":"required"}],"changelog_md":"initial specification","created_by_user_id":"usr_5homk2nezf","created_at":"2026-09-02T06:59:47Z","sealing":null}}