{"problem":{"id":"prb_v5v2f5yckx","slug":"sat-dogfood-reviewed","campaign_id":"cmp_30tijcqg9u","structure":"SOLVE","title":"Satisfy a 3-SAT instance, confirmed by a reviewer (30 variables)","summary":"Produce a satisfying assignment for a TfP-generated DIMACS CNF instance: 30 variables, 130 clauses. The sandbox check is followed by a human reviewer confirming the witness — the Stage 7B review dogfood.","status":"archived","current_revision_id":"prv_mgs02fr5qz","priority_weight":0.3,"owner_user_id":"usr_5homk2nezf","created_at":"2026-09-02T15:13:59Z","updated_at":"2026-09-06T04:30:17Z"}}