ask: formula that is allowed to SAT I

<p>What is the formula(s) that is allowed to SAT I?</p>

<p>Thanks</p>