How it works
Pick a full Boolean assignment and query the hidden formula. You only see how many weighted clauses you satisfied — not which ones. Your final reward is the maximum number of satisfied clauses you have seen.
Queries made: 0
Final reward: 0