SATISFIABLE

Before
1: S
are
After
1: S
iff, in
Surrounder Phrases
only finitelyformulas areare finitely, simultaneouslyinstances are