The satisfiability of a propositional formula is determined by whether an assignment of truth values exists that makes the formula true.

Researchers examined the satisfiabilities of various constraint sets to determine which models were implementable.

He found the quiet ritual of writing letters to be self-satisfying, even if no one else ever read them.

He gave a self-satisfied smile after hearing the praise, ignoring the team's hard work.

She sliced the cake satisfyingly, watching each perfect piece fall onto the plate.

The satisfyingness of finishing the puzzle in one sitting surprised everyone who doubted her patience.