To Guess or Not to Guess: A Decision‐Theoretic View of Formula Scoring