Utiliser "satisfiable" dans une phrase

1. If there is at least one assignment which satisfies a formula, then we say that this formula is satisfiable; otherwise, it is un satisfiable

2. Given a Boolean formula, determine whether this formula is satisfiable or not

3. If the 3SAT is satisfiable