unsatisfiableness

latin small letter a

U+0061

latin small letter b

U+0062

latin small letter e

U+0065

latin small letter f

U+0066

latin small letter i

U+0069

latin small letter l

U+006C

latin small letter n

U+006E

latin small letter s

U+0073

latin small letter t

U+0074

latin small letter u

U+0075