Satisfiable
(
a.
) That may be satisfied.
