{"problem":{"id":"prb_xdh2822hya","slug":"sat-dogfood-small","campaign_id":"cmp_30tijcqg9u","structure":"SOLVE","title":"Satisfy a small 3-SAT instance (20 variables)","summary":"Produce a satisfying assignment for a small TfP-generated DIMACS CNF instance: 20 variables, 91 clauses. Solvable by hand or with any SAT solver.","status":"archived","current_revision_id":"prv_n5cfi8w9rh","priority_weight":0.6,"owner_user_id":"usr_5homk2nezf","created_at":"2026-09-02T06:59:47Z","updated_at":"2026-09-06T04:30:17Z"}}